Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
271	Michael W. Whalen http://www.cs.umn.edu/~whalen Work Address: 200 Union St Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2015-01-22 15:38:55 Software requirements Avionics Software testing Software quality Software verification Whalen Software development process Verification Formal verification Software development Software Formal methods
272	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
273	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
274	Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Formal specification Specification Technology Management Form Java specification requests Formal methods Mobile Information Device Profile
275	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
276	STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware Add to Reading List Source URL: vsl.cis.udel.edu Language: English - Date: 2015-05-22 11:27:31 Concurrent computing Application programming interfaces Message Passing Interface Jack Dongarra Model checking Formal verification Bill Gropp Actor model Computer cluster Computing Parallel computing Computer programming
277	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
278	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
279	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
280	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel

UPDATE